Type Theory – alle Bücher, LPs und CDs

William M. Farmer
Simple Type Theory

Computer Science Foundations and Applied Logic

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas. The book is an introducti…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,99*

Recent Trends on Type-2 Fuzzy Logic Systems: Theory, Methodology and Applications

This book covers the introduction, theory, development and applications of type-2 fuzzy logic systems, which represent the current state-of-the-art in various domains such as control applications, power p…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 175,23*

Logics and Type Systems in Theory and Practice

Lecture Notes in Computer Science -Band 14560

This Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Herman Geuvers is a full professor at Radboud University …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 131,42*

Washingt Gladden
Was Bronson Alcott's school a type of God's moral government?: A review of Joseph Cook's theory of the atonement

Reprint of the original, first published in 1877. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 24,90*

Washingt Gladden
Was Bronson Alcott's school a type of God's moral government?: A review of Joseph Cook's theory of the atonement

Reprint of the original, first published in 1877. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 44,90*

András Horváth, Miklós Telek
Phase Type Distributions, Volume 2

The topic of the book is phase type distributions that have been recognized as an important tool in the quantitative analysis of systems (such as communication networks, logistic networks, manufacturing p…

lieferbar ab 27.11.2024.

Buch

EUR 211,54*

Liquid Tension Experiment

LTE3

Im heutigen Progressive Rock scheint es, als gäbe es jede Woche eine neue Supergroup. Aber lange bevor das die Norm wurde, und bevor Musiker regelmäßig in mehr als einer Band involviert waren, gab es Liqu…

lieferbar innerhalb 2-3 Wochen

2 CDs

EUR 22,99*

Joel E. Restrepo: Functions of Omega-Bounded Type, Buch

Joel E. Restrepo, Armen M. Jerbashian
Functions of Omega-Bounded Type

Frontiers in Mathematics

The book gives the basic results of the theory of the spaces Ap of functions holomorphic in the unit disc, halfplane and in the finite complex plane, which depend on functional weights permitting any r…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 60,23*

Carole King

The Living Room Tour (180g) (Limited Numbered Edition) (Green Marbled Vinyl)

Carole King ist eine amerikanische Singer-Songwriterin und Komponistin. Sie war die erfolgreichste weibliche Singer-Songwriterin der zweiten Hälfte des 20. Jahrhunderts und schrieb (teils zusammen mit and…

Artikel am Lager

EUR 43,99**

2 LPs

EUR 39,99*

Stefan Müller-Stach
The Code of Mathematics

Mathematics Study Resources -Band 11

Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. Besides selected ideas …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 53,32*

Fanzhang Li, Li Zhang, Zhao Zhang
Lie Group Machine Learning

This book explains deep learning concepts and derives semi-supervised learning and nuclear learning frameworks based on cognition mechanism and Lie group theory. It further discusses algorithms and applic…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 148,38*

Lindemann

Skills In Pills (180g)

Lindemann sind Till Lindemann und Peter Tägtgren. Till Lindemann ist der Sänger von Rammstein, die bis heute ca. 17 Mio. Tonträger verkauft haben und damit eine der weltweit erfolgreichsten und respekti…

Artikel am Lager

LP

EUR 36,99*

Recent Advances in Mathematical Analysis

Trends in Mathematics

This book collects selected peer reviewed papers on the topics of Nonlinear Analysis, Functional Analysis, (Korovkin-Type) Approximation Theory, and Partial Differential Equations. The aim of the volume i…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 142,37*

The French School of Programming

The French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors inc…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 197,13*

Type Theory – alle Bücher, LPs und CDs

Ihre Suche nach "type theory" ergab 14 Treffer